2015 30th IEEE/ACM International Conference on Automated Software Engineering “What parts of your apps are loved by users?1” Xiaodong Gu and Sunghun Kim Department of Computer Science and Engineering The Hong Kong U

Source URL: www.cse.ust.hk

Proceedings of the International Conference on New Interfaces for Musical Expression Collaborative Live-Coding Virtual Worlds with an Immersive Instrument Graham Wakefield

Source URL: mat.ucsb.edu

• Software engineering
• Software
• Digital media
• Virtual reality
• Computer programming
• Digital art
• New media
• Algorave
• Live coding
• AlloSphere
• Fluxus
• Virtual world

2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering Mining Analogical Libraries in Q&A Discussions — Incorporating Relational and Categorical Knowledge into Word Embedding Chunya

Source URL: ccywch.github.io

• Natural language processing toolkits
• Natural language processing
• Statistical natural language processing
• Part-of-speech tagging
• Analogy
• Natural Language Toolkit
• OpenNLP
• Deep learning
• Tag
• General Architecture for Text Engineering

Welcome to ASE2006 in Tokyo （東京へようこそ） Welcome to Tokyo and the 21st IEEE/ACM International Conference on Automated Software Engineering. This year the conference is being held for the first time in Asi

Source URL: ase.cs.uni-essen.de

Academic and Industrial Software Testing Conferences: Survey and Synergies Árpád Beszédes László Vidács

Source URL: www.inf.u-szeged.hu

• Engineering
• Academia
• Computing
• Academic conferences
• Piscataway
• New Jersey
• International Conference on Software Engineering and Formal Methods
• ISSRE
• Software engineering
• Software testing
• International Federation for Information Processing
• Software verification
• Institute of Electrical and Electronics Engineers

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• C
• Data types
• Undefined behavior
• Integer overflow
• Printf format string
• Objective-C
• C99
• Floating point
• Arithmetic overflow

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering How (Much) Do Developers Test? Moritz Beller, Georgios Gousios, Andy Zaidman Delft University of Technology, The Netherlands

Source URL: www.st.ewi.tudelft.nl

Domenico Bianculli curriculum vitae updated on March 11, 2016 SnT Centre - University of Luxembourg 4 rue Alphonse Weicker L-2721 Luxembourg

Source URL: people.svv.lu

• Carlo Ghezzi
• Mehdi Jazayeri
• Software engineering
• International Conference on Software Engineering
• International Conference on Service Oriented Computing
• SIGSOFT
• Web engineering

E RLANG/OTP Meets Dependent Types Archibald Samuel Elliott University of St Andrews ACM Member Number: [ REDACTED ]

Source URL: lenary.co.uk

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Ericsson
• Erlang
• Functional programming
• Type theory
• Actor model
• Concurrent computing
• Go
• International Conference on Functional Programming

On Chairing SIGPLAN June 24, 2015 It was an honor to be your chair for the last three years. Programming language research is a fascinating and lively area of intellectual investigation. New applications extend the bound

Source URL: janvitek.org

• Computer science
• Computing
• Software engineering
• Association for Computing Machinery
• Programming Language Design and Implementation
• International Conference on Functional Programming
• Symposium on Principles of Programming Languages
• SIGPLAN
• Federated Computing Research Conference
• Programming language theory
• SPLASH
• Actor model